/* TP 2, EJ 3 */

mansion( agatha ).
mansion( carnicero ).
mansion( charles ).

odia( agatha, X ) :- mansion( X ), X \= carnicero.
odia( carnicero, P ) :- odia( agatha, P ).
odia( charles, P ) :- mansion( P ), not( odia(agatha,P) ).
% Me parece que esta al reves esto
mas_rico( agatha, X ) :- mansion( X ), not( odia(carnicero,X) ).

asesino( V, A ) :- mansion( A ), odia( A, V ), mas_rico( V, A ).

/*
	asesino( agatha, Wacho ). --> Wacho = carnicero
*/